ret > ExitFailure 71
out > Error: Must not specify an input file (Interaction-and-input-file.agda) with --interaction
out > Run 'agda --help' for help on command line options.
out >
